Dans les systèmes matériels à haute performance, la vitesse est essentielle. Imaginez une carte graphique effectuant le Z-buffering: elle doit trier des millions de valeurs de profondeur par seconde pour déterminer quel pixel est en avant. Pour y parvenir, les ingénieurs s'appuient sur le comparateur de nombres non signés, un circuit optimisé qui traite les bits du MSB au LSB sans surcharge cognitive.
L'échec du complément à deux
Le complément à deux standard échoue ce test « matériel bête ». Comme le bit de signe vaut 1 pour les nombres négatifs et 0 pour les positifs, une valeur comme -1 (111...) apparaît bit à bit plus grande que +1 (001...). Cela crée une discontinuité, obligeant le matériel à utiliser une logique conditionnelle complexe et lente pour déterminer la grandeur.
La solution de monotonie
Pour restaurer l'efficacité, nous utilisons le codage excédentaire (représentation biaisée). En décalant la plage de manière que la plus petite valeur possible corresponde à 000... et la plus grande à 111..., nous assurons que le motif binaire identifie de manière unique une valeur numérique de façon que son ordre lexicographique corresponde exactement à son ordre numérique.
Cette propriété permet aux comparateurs matériels « bêtes » de traiter instantanément les données flottantes « intelligentes ».